/*
 * extra CSS for misc plugins
 *
 * @author Christopher Arndt <chris@chrisarndt.de> & the resp. plugin authors
 */

/* highlighted */

.hilited, ins, del {
	padding-left: 0.1em;
	padding-right: 0.1em;
}

.hilited {
	color: #123456;
	background-color: #f2f216;
}

/* inserted */

ins {
	background: #c8fcc8;
	color: #16a616;
	text-decoration: none;
	border-bottom: 1px dotted #16a616;
}

/* deleted */

del {
	background: #fcc8c8;
	color: #a61616;
	text-decoration: line-through;
}

/* category */

.category {
	padding-top: 3px;
	margin-bottom: 0.4em;
	border-top: 2px dotted #dee7ec;
	text-align: right;
}

/* discussion */
.commentform {
	margin-left: 2em;
	margin-right: 2em;
}
